二阶述词second: n. 1.秒 (=1/60分);秒(针)。 2.片刻;一 ...order: n. 1.次序,顺序;整齐;(社会)秩序,治安;状况,常 ...predicate: n. 1.【语法】谓语,述语。 2.【逻辑学】谓项,述项 ...second-order predicate calculus: 二阶谓词演算first order predicate calculus: 一阶谓词演算下载手机词典可随时随地查词查翻译